https://www.masdayat.net/2020/10/7log2-x-4.html
7log2 x ≤ 4